(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 10.4' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     55198,       2255]
NotebookOptionsPosition[     43307,       1857]
NotebookOutlinePosition[     48797,       2018]
CellTagsIndexPosition[     48683,       2012]
WindowTitle->Contract
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {Cell["FEYN CALC SYMBOL", "PacletNameCell"], Cell[TextData[{
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "See Also",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"See Also", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"Pair\"\>":>Documentation`HelpLookup[
       "paclet:FeynCalc/ref/Pair"], "\<\"CartesianPair\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/CartesianPair"], "\<\"DiracSimplify\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DiracSimplify"], "\<\"MomentumCombine\"\>":>
       Documentation`HelpLookup["paclet:FeynCalc/ref/MomentumCombine"]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"SeeAlso"]],
      LineSpacing->{1.4, 0}],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "URL",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"URL", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"FeynCalc/ref/Contract\"\>":>
       None, "\<\"Copy Wolfram Documentation Center URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell["FeynCalc/ref/Contract"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; Null], 
       Delimiter, "\<\"Copy web URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell[
              BoxData[
               MakeBoxes[
                Hyperlink[
                "http://reference.wolfram.com/language/FeynCalc/ref/Contract.\
html"], StandardForm]], "Input", TextClipboardType -> "PlainText"]}, Visible -> 
            False]]; SelectionMove[
         DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; 
        Null], "\<\"Go to web URL\"\>":>FrontEndExecute[{
         NotebookLocate[{
           URL[
            StringJoin[
             If[
              TrueQ[DocumentationBuild`Make`Private`wsmlinkQ$46059], 
              "http://reference.wolfram.com/system-modeler/", 
              "http://reference.wolfram.com/language/"], 
             "FeynCalc/ref/Contract", ".html"]], None}]}]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"URLMenu"]],
      LineSpacing->{1.4, 0}]
    }], "AnchorBar"]}
  }]], "AnchorBarGrid",
 GridBoxOptions->{GridBoxItemSize->{"Columns" -> {
     Scaled[0.65], {
      Scaled[0.34]}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
   "RowsIndexed" -> {}}},
 CellID->1],

Cell[TextData[{
 Cell["Contract", "ObjectName"],
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{8, 0}],
    CacheGraphics->False],
   Spacer[8]]]],
 Cell[BoxData[""], "ObjectNameTranslation"]
}], "ObjectNameGrid"],

Cell[CellGroupData[{

Cell[BoxData[GridBox[{
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{"Contract", "[", "expr", "]"}]], "InlineFormula"],
     " \[LineSeparator]",
     "contracts pairs of Lorentz indices of metric tensors, four-vectors and \
(depending on the optionEpsContract) of Levi-Civita tensors in expr. For the \
contraction of Dirac matrices with each other use DiracSimplify. \
Contract[exp1, exp2] contracts (exp1*exp2), where exp1 and exp2 may be larger \
products of sums of metric tensors and 4-vectors. "
    }]]}
  }]], "Usage",
 GridBoxOptions->{
 GridBoxBackground->{
  "Columns" -> {{None}}, "ColumnsIndexed" -> {}, "Rows" -> {{None}}, 
   "RowsIndexed" -> {}}},
 CellID->982511436],

Cell[CellGroupData[{

Cell[TextData[Cell[BoxData[
 ButtonBox[Cell[TextData[{
   Cell[BoxData[
    InterpretationBox[
     StyleBox[
      GraphicsBox[{},
       BaselinePosition->Baseline,
       ImageSize->{6, 0}],
      CacheGraphics->False],
     Spacer[6]]]],
   "Details"
  }], "NotesFrameText"],
  Appearance->{Automatic, None},
  BaseStyle->None,
  ButtonFunction:>(FrontEndExecute[{
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], All, ButtonCell], 
     FrontEndToken["OpenCloseGroup"], 
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], After, CellContents]}]& ),
  Evaluator->None,
  Method->"Preemptive"]]]], "NotesSection",
 WholeCellGroupOpener->True,
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->1580525544],

Cell["", "SectionHeaderSpacer"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Options", "[", "Contract", "]"}]], "Input",
 CellLabel->"In[438]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"{", 
   RowBox[{
    RowBox[{"Collecting", "\[Rule]", "True"}], ",", 
    RowBox[{"Contract3", "\[Rule]", "True"}], ",", 
    RowBox[{"EpsContract", "\[Rule]", "True"}], ",", 
    RowBox[{"Expanding", "\[Rule]", "True"}], ",", 
    RowBox[{"ExpandScalarProduct", "\[Rule]", "True"}], ",", 
    RowBox[{"Factoring", "\[Rule]", "False"}], ",", 
    RowBox[{"FeynCalcInternal", "\[Rule]", "False"}], ",", 
    RowBox[{"FCVerbose", "\[Rule]", "False"}], ",", 
    RowBox[{"MomentumCombine", "\[Rule]", "True"}], ",", 
    RowBox[{"Rename", "\[Rule]", "False"}], ",", 
    RowBox[{"Schouten", "\[Rule]", "0"}]}], "}"}], TraditionalForm]], "Output",\

 ImageSize->{497, 54},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[438]="]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "PrimaryExamplesSection",
 WholeCellGroupOpener->True,
 CellTags->"PrimaryExamplesSection",
 CellID->796416382],

Cell[CellGroupData[{

Cell[TextData[{
 "Basic Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CellID->490871094],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"MT", "[", 
   RowBox[{"\[Mu]", ",", "\[Nu]"}], "]"}], " ", 
  RowBox[{"FV", "[", 
   RowBox[{"p", ",", "\[Mu]"}], "]"}]}]], "Input",
 CellTags->"Contract",
 CellLabel->"In[1]:=",
 CellID->2011968461],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox["p",
        TraditionalForm], "_"],
      TraditionalForm], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], " ", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["g", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm]}]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{64, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Contract",
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Contract", "[", "%", "]"}]], "Input",
 CellTags->"Contract",
 CellLabel->"In[2]:=",
 CellID->26500400],

Cell[BoxData[
 FormBox[
  SuperscriptBox[
   FormBox[
    OverscriptBox[
     FormBox["p",
      TraditionalForm], "_"],
    TraditionalForm], 
   FormBox[
    FormBox["\[Nu]",
     TraditionalForm],
    TraditionalForm]], TraditionalForm]], "Output",
 ImageSize->{26, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Contract",
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"FV", "[", 
   RowBox[{"p", ",", "\[Mu]"}], "]"}], 
  RowBox[{"GA", "[", "\[Mu]", "]"}]}]], "Input",
 CellTags->"Contract",
 CellLabel->"In[3]:=",
 CellID->2005973076],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], " ", 
   FormBox[
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox["p",
        TraditionalForm], "_"],
      TraditionalForm], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{52, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Contract",
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Contract", "[", "%", "]"}]], "Input",
 CellTags->"Contract",
 CellLabel->"In[4]:=",
 CellID->1342373134],

Cell[BoxData[
 FormBox[
  RowBox[{
   OverscriptBox["\[Gamma]", "_"], "\[CenterDot]", 
   FormBox[
    OverscriptBox[
     FormBox["p",
      TraditionalForm], "_"],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{38, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Contract",
 CellLabel->"Out[4]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"MT", "[", 
  RowBox[{"\[Mu]", ",", "\[Mu]"}], "]"}]], "Input",
 CellTags->"Contract",
 CellLabel->"In[5]:=",
 CellID->2121383633],

Cell[BoxData[
 FormBox[
  SuperscriptBox[
   OverscriptBox["g", "_"], 
   RowBox[{
    FormBox[
     FormBox["\[Mu]",
      TraditionalForm],
     TraditionalForm], 
    FormBox[
     FormBox["\[Mu]",
      TraditionalForm],
     TraditionalForm]}]], TraditionalForm]], "Output",
 ImageSize->{39, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Contract",
 CellLabel->"Out[5]="]
}, Open  ]],

Cell["The default dimension for a metric tensor is 4.", "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Contract", "[", "%", "]"}]], "Input",
 CellTags->"Contract",
 CellLabel->"In[6]:=",
 CellID->1110085557],

Cell[BoxData[
 FormBox["4", TraditionalForm]], "Output",
 ImageSize->{13, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Contract",
 CellLabel->"Out[6]="]
}, Open  ]],

Cell["\<\
A short way to enter D-dimensional metric tensors is given by MTD.\
\>", "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"MTD", "[", 
   RowBox[{"\[Mu]", ",", "\[Nu]"}], "]"}], "  ", 
  RowBox[{"MTD", "[", 
   RowBox[{"\[Mu]", ",", "\[Nu]"}], "]"}]}]], "Input",
 CellTags->"Contract",
 CellLabel->"In[7]:=",
 CellID->1404498417],

Cell[BoxData[
 FormBox[
  SuperscriptBox[
   FormBox[
    SuperscriptBox["g", 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm]}]],
    TraditionalForm], "2"], TraditionalForm]], "Output",
 ImageSize->{43, 18},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Contract",
 CellLabel->"Out[7]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Contract", "[", "%", "]"}]], "Input",
 CellTags->"Contract",
 CellLabel->"In[8]:=",
 CellID->587791315],

Cell[BoxData[
 FormBox["D", TraditionalForm]], "Output",
 ImageSize->{19, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Contract",
 CellLabel->"Out[8]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"FV", "[", 
   RowBox[{"p", ",", "\[Mu]"}], "]"}], " ", 
  RowBox[{"FV", "[", 
   RowBox[{"q", ",", "\[Mu]"}], "]"}]}]], "Input",
 CellTags->"Contract",
 CellLabel->"In[9]:=",
 CellID->1721182838],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox["p",
        TraditionalForm], "_"],
      TraditionalForm], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], " ", 
   FormBox[
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox["q",
        TraditionalForm], "_"],
      TraditionalForm], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{55, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Contract",
 CellLabel->"Out[9]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Contract", "[", "%", " ", "]"}]], "Input",
 CellTags->"Contract",
 CellLabel->"In[10]:=",
 CellID->460754742],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    OverscriptBox[
     FormBox["p",
      TraditionalForm], "_"],
    TraditionalForm], 
   FormBox["\<\"\[CenterDot]\"\>",
    TraditionalForm], 
   FormBox[
    OverscriptBox[
     FormBox["q",
      TraditionalForm], "_"],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{43, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Contract",
 CellLabel->"Out[10]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"FV", "[", 
   RowBox[{
    RowBox[{"p", "-", "q"}], ",", "\[Mu]"}], "]"}], " ", 
  RowBox[{"FV", "[", 
   RowBox[{
    RowBox[{"a", "-", "b"}], ",", "\[Mu]"}], "]"}]}]], "Input",
 CellTags->"Contract",
 CellLabel->"In[11]:=",
 CellID->1283410538],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     RowBox[{"(", 
      FormBox[
       FormBox[
        RowBox[{
         OverscriptBox[
          FormBox["a",
           TraditionalForm], "_"], "-", 
         OverscriptBox[
          FormBox["b",
           TraditionalForm], "_"]}],
        TraditionalForm],
       TraditionalForm], ")"}], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], " ", 
   FormBox[
    SuperscriptBox[
     RowBox[{"(", 
      FormBox[
       FormBox[
        RowBox[{
         OverscriptBox[
          FormBox["p",
           TraditionalForm], "_"], "-", 
         OverscriptBox[
          FormBox["q",
           TraditionalForm], "_"]}],
        TraditionalForm],
       TraditionalForm], ")"}], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{137, 21},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Contract",
 CellLabel->"Out[11]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Contract", "[", "%", "]"}]], "Input",
 CellTags->"Contract",
 CellLabel->"In[12]:=",
 CellID->803101401],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{
    FormBox[
     OverscriptBox[
      FormBox["a",
       TraditionalForm], "_"],
     TraditionalForm], 
    FormBox["\<\"\[CenterDot]\"\>",
     TraditionalForm], 
    FormBox[
     OverscriptBox[
      FormBox["p",
       TraditionalForm], "_"],
     TraditionalForm]}], "-", 
   RowBox[{
    FormBox[
     OverscriptBox[
      FormBox["a",
       TraditionalForm], "_"],
     TraditionalForm], 
    FormBox["\<\"\[CenterDot]\"\>",
     TraditionalForm], 
    FormBox[
     OverscriptBox[
      FormBox["q",
       TraditionalForm], "_"],
     TraditionalForm]}], "-", 
   RowBox[{
    FormBox[
     OverscriptBox[
      FormBox["b",
       TraditionalForm], "_"],
     TraditionalForm], 
    FormBox["\<\"\[CenterDot]\"\>",
     TraditionalForm], 
    FormBox[
     OverscriptBox[
      FormBox["p",
       TraditionalForm], "_"],
     TraditionalForm]}], "+", 
   RowBox[{
    FormBox[
     OverscriptBox[
      FormBox["b",
       TraditionalForm], "_"],
     TraditionalForm], 
    FormBox["\<\"\[CenterDot]\"\>",
     TraditionalForm], 
    FormBox[
     OverscriptBox[
      FormBox["q",
       TraditionalForm], "_"],
     TraditionalForm]}]}], TraditionalForm]], "Output",
 ImageSize->{204, 18},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Contract",
 CellLabel->"Out[12]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"FVD", "[", 
   RowBox[{
    RowBox[{"p", "-", "q"}], ",", "\[Nu]"}], "]"}], " ", 
  RowBox[{"FVD", "[", 
   RowBox[{
    RowBox[{"a", "-", "b"}], ",", "\[Nu]"}], "]"}]}]], "Input",
 CellTags->"Contract",
 CellLabel->"In[13]:=",
 CellID->1863771818],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     RowBox[{"(", 
      FormBox[
       FormBox[
        RowBox[{
         FormBox["a",
          TraditionalForm], "-", 
         FormBox["b",
          TraditionalForm]}],
        TraditionalForm],
       TraditionalForm], ")"}], 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], " ", 
   FormBox[
    SuperscriptBox[
     RowBox[{"(", 
      FormBox[
       FormBox[
        RowBox[{
         FormBox["p",
          TraditionalForm], "-", 
         FormBox["q",
          TraditionalForm]}],
        TraditionalForm],
       TraditionalForm], ")"}], 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{125, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Contract",
 CellLabel->"Out[13]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Contract", "[", "%", "]"}]], "Input",
 CellTags->"Contract",
 CellLabel->"In[14]:=",
 CellID->2021554764],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{
    FormBox[
     FormBox["a",
      TraditionalForm],
     TraditionalForm], 
    FormBox["\<\"\[CenterDot]\"\>",
     TraditionalForm], 
    FormBox[
     FormBox["p",
      TraditionalForm],
     TraditionalForm]}], "-", 
   RowBox[{
    FormBox[
     FormBox["a",
      TraditionalForm],
     TraditionalForm], 
    FormBox["\<\"\[CenterDot]\"\>",
     TraditionalForm], 
    FormBox[
     FormBox["q",
      TraditionalForm],
     TraditionalForm]}], "-", 
   RowBox[{
    FormBox[
     FormBox["b",
      TraditionalForm],
     TraditionalForm], 
    FormBox["\<\"\[CenterDot]\"\>",
     TraditionalForm], 
    FormBox[
     FormBox["p",
      TraditionalForm],
     TraditionalForm]}], "+", 
   RowBox[{
    FormBox[
     FormBox["b",
      TraditionalForm],
     TraditionalForm], 
    FormBox["\<\"\[CenterDot]\"\>",
     TraditionalForm], 
    FormBox[
     FormBox["q",
      TraditionalForm],
     TraditionalForm]}]}], TraditionalForm]], "Output",
 ImageSize->{188, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Contract",
 CellLabel->"Out[14]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"LC", "[", 
   RowBox[{"\[Mu]", ",", "\[Nu]", ",", "\[Alpha]", ",", "\[Sigma]"}], "]"}], 
  " ", 
  RowBox[{"FV", "[", 
   RowBox[{"p", ",", "\[Sigma]"}], "]"}]}]], "Input",
 CellTags->"Contract",
 CellLabel->"In[15]:=",
 CellID->1720608034],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox["p",
        TraditionalForm], "_"],
      TraditionalForm], 
     FormBox[
      FormBox["\[Sigma]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], " ", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Epsilon]", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Alpha]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Sigma]",
        TraditionalForm],
       TraditionalForm]}]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{81, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Contract",
 CellLabel->"Out[15]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Contract", "[", "%", "]"}]], "Input",
 CellTags->"Contract",
 CellLabel->"In[16]:=",
 CellID->634794036],

Cell[BoxData[
 FormBox[
  SuperscriptBox[
   OverscriptBox["\[Epsilon]", "_"], 
   RowBox[{
    FormBox[
     FormBox["\[Alpha]",
      TraditionalForm],
     TraditionalForm], 
    FormBox[
     FormBox["\[Mu]",
      TraditionalForm],
     TraditionalForm], 
    FormBox[
     FormBox["\[Nu]",
      TraditionalForm],
     TraditionalForm], 
    FormBox[
     OverscriptBox[
      FormBox["p",
       TraditionalForm], "_"],
     TraditionalForm]}]], TraditionalForm]], "Output",
 ImageSize->{57, 17},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Contract",
 CellLabel->"Out[16]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"LC", "[", 
   RowBox[{"\[Mu]", ",", "\[Nu]", ",", "\[Alpha]", ",", "\[Beta]"}], "]"}], 
  " ", 
  RowBox[{"LC", "[", 
   RowBox[{"\[Mu]", ",", "\[Nu]", ",", "\[Alpha]", ",", "\[Sigma]"}], "]"}], 
  " "}]], "Input",
 CellTags->"Contract",
 CellLabel->"In[17]:=",
 CellID->1343624460],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Epsilon]", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Alpha]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Beta]",
        TraditionalForm],
       TraditionalForm]}]],
    TraditionalForm], " ", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Epsilon]", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Alpha]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Sigma]",
        TraditionalForm],
       TraditionalForm]}]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{107, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Contract",
 CellLabel->"Out[17]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Contract", "[", "%", "]"}]], "Input",
 CellTags->"Contract",
 CellLabel->"In[18]:=",
 CellID->530322977],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"-", "6"}], " ", 
   SuperscriptBox[
    OverscriptBox["g", "_"], 
    RowBox[{
     FormBox[
      FormBox["\[Beta]",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["\[Sigma]",
       TraditionalForm],
      TraditionalForm]}]]}], TraditionalForm]], "Output",
 ImageSize->{62, 18},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Contract",
 CellLabel->"Out[18]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"LCD", "[", 
   RowBox[{"\[Mu]", ",", "\[Nu]", ",", "\[Alpha]", ",", "\[Beta]"}], "]"}], 
  " ", 
  RowBox[{"LCD", "[", 
   RowBox[{"\[Mu]", ",", "\[Nu]", ",", "\[Alpha]", ",", "\[Sigma]"}], 
   "]"}]}]], "Input",
 CellTags->"Contract",
 CellLabel->"In[19]:=",
 CellID->730363468],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Epsilon]", ""], 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Alpha]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Beta]",
        TraditionalForm],
       TraditionalForm]}]],
    TraditionalForm], " ", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Epsilon]", ""], 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Alpha]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Sigma]",
        TraditionalForm],
       TraditionalForm]}]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{105, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Contract",
 CellLabel->"Out[19]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"Contract", "[", "%", "]"}], "//", "Factor2"}]], "Input",
 CellTags->"Contract",
 CellLabel->"In[20]:=",
 CellID->1284270864],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"(", 
    RowBox[{"1", "-", "D"}], ")"}], " ", 
   RowBox[{"(", 
    RowBox[{"2", "-", "D"}], ")"}], " ", 
   RowBox[{"(", 
    RowBox[{"3", "-", "D"}], ")"}], " ", 
   SuperscriptBox["g", 
    RowBox[{
     FormBox[
      FormBox["\[Beta]",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["\[Sigma]",
       TraditionalForm],
      TraditionalForm]}]]}], TraditionalForm]], "Output",
 ImageSize->{199, 18},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Contract",
 CellLabel->"Out[20]="]
}, Open  ]],

Cell[TextData[{
 "Contractions of Cartesian tensors are also possible. They can live in ",
 Cell[BoxData["3"], "InlineFormula"],
 ", ",
 Cell[BoxData[
  RowBox[{"D", "-", "1"}]], "InlineFormula"],
 " or ",
 Cell[BoxData[
  RowBox[{"D", "-", "4"}]], "InlineFormula"],
 " dimensions."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"KD", "[", 
   RowBox[{"i", ",", "j"}], "]"}], 
  RowBox[{"CV", "[", 
   RowBox[{"p", ",", "i"}], "]"}]}]], "Input",
 CellLabel->"In[21]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox[
        StyleBox["p",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["i",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], " ", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Delta]", "_"], 
     RowBox[{
      FormBox[
       FormBox[
        StyleBox["i",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        StyleBox["j",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm]}]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{61, 19},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[21]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Contract", "[", "%", "]"}]], "Input",
 CellLabel->"In[22]:="],

Cell[BoxData[
 FormBox[
  SuperscriptBox[
   FormBox[
    OverscriptBox[
     FormBox[
      StyleBox["p",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm], "_"],
    TraditionalForm], 
   FormBox[
    FormBox[
     StyleBox["j",
      StripOnInput->False,
      FontWeight->Bold],
     TraditionalForm],
    TraditionalForm]], TraditionalForm]], "Output",
 ImageSize->{29, 19},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[22]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"CV", "[", 
   RowBox[{"p", ",", "i"}], "]"}], 
  RowBox[{"CGA", "[", "i", "]"}]}]], "Input",
 CellLabel->"In[23]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     OverscriptBox[
      FormBox[
       StyleBox["\<\"\[Gamma]\"\>",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"], 
     FormBox[
      FormBox[
       StyleBox["i",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], " ", 
   FormBox[
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox[
        StyleBox["p",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["i",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{50, 19},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[23]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Contract", "[", "%", "]"}]], "Input",
 CellLabel->"In[24]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   OverscriptBox[
    FormBox[
     StyleBox["\<\"\[Gamma]\"\>",
      StripOnInput->False,
      FontWeight->Bold],
     TraditionalForm], "_"], "\[CenterDot]", 
   FormBox[
    OverscriptBox[
     FormBox[
      StyleBox["p",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm], "_"],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{38, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[24]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"KD", "[", 
  RowBox[{"i", ",", "i"}], "]"}]], "Input",
 CellLabel->"In[25]:="],

Cell[BoxData[
 FormBox[
  SuperscriptBox[
   OverscriptBox["\[Delta]", "_"], 
   RowBox[{
    FormBox[
     FormBox[
      StyleBox["i",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm],
     TraditionalForm], 
    FormBox[
     FormBox[
      StyleBox["i",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm],
     TraditionalForm]}]], TraditionalForm]], "Output",
 ImageSize->{33, 17},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[25]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Contract", "[", "%", "]"}]], "Input",
 CellLabel->"In[26]:="],

Cell[BoxData[
 FormBox["3", TraditionalForm]], "Output",
 ImageSize->{12, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[26]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"KD", "[", 
   RowBox[{"i", ",", "j"}], "]"}], "^", "2"}]], "Input",
 CellLabel->"In[27]:="],

Cell[BoxData[
 FormBox[
  SuperscriptBox[
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Delta]", "_"], 
     RowBox[{
      FormBox[
       FormBox[
        StyleBox["i",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        StyleBox["j",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm]}]],
    TraditionalForm], "2"], TraditionalForm]], "Output",
 ImageSize->{42, 17},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[27]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Contract", "[", "%", "]"}]], "Input",
 CellLabel->"In[28]:="],

Cell[BoxData[
 FormBox["3", TraditionalForm]], "Output",
 ImageSize->{12, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[28]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"CV", "[", 
   RowBox[{
    RowBox[{"p", "-", "q"}], ",", "j"}], "]"}], " ", 
  RowBox[{"CV", "[", 
   RowBox[{
    RowBox[{"a", "-", "b"}], ",", "j"}], "]"}]}]], "Input",
 CellLabel->"In[29]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     RowBox[{"(", 
      FormBox[
       FormBox[
        RowBox[{
         OverscriptBox[
          FormBox[
           StyleBox["a",
            StripOnInput->False,
            FontWeight->Bold],
           TraditionalForm], "_"], "-", 
         OverscriptBox[
          FormBox[
           StyleBox["b",
            StripOnInput->False,
            FontWeight->Bold],
           TraditionalForm], "_"]}],
        TraditionalForm],
       TraditionalForm], ")"}], 
     FormBox[
      FormBox[
       StyleBox["j",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], " ", 
   FormBox[
    SuperscriptBox[
     RowBox[{"(", 
      FormBox[
       FormBox[
        RowBox[{
         OverscriptBox[
          FormBox[
           StyleBox["p",
            StripOnInput->False,
            FontWeight->Bold],
           TraditionalForm], "_"], "-", 
         OverscriptBox[
          FormBox[
           StyleBox["q",
            StripOnInput->False,
            FontWeight->Bold],
           TraditionalForm], "_"]}],
        TraditionalForm],
       TraditionalForm], ")"}], 
     FormBox[
      FormBox[
       StyleBox["j",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{141, 22},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[29]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Contract", "[", "%", "]"}]], "Input",
 CellLabel->"In[30]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox["\<\"(\"\>",
    TraditionalForm], 
   FormBox[
    FormBox[
     RowBox[{
      OverscriptBox[
       FormBox[
        StyleBox["a",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], "-", 
      OverscriptBox[
       FormBox[
        StyleBox["b",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"]}],
     TraditionalForm],
    TraditionalForm], 
   FormBox["\<\")\"\>",
    TraditionalForm], 
   FormBox["\<\"\[CenterDot]\"\>",
    TraditionalForm], 
   FormBox["\<\"(\"\>",
    TraditionalForm], 
   FormBox[
    FormBox[
     RowBox[{
      OverscriptBox[
       FormBox[
        StyleBox["p",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"], "-", 
      OverscriptBox[
       FormBox[
        StyleBox["q",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"]}],
     TraditionalForm],
    TraditionalForm], 
   FormBox["\<\")\"\>",
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{141, 19},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[30]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"CLC", "[", 
   RowBox[{"i", ",", "j", ",", "k"}], "]"}], " ", 
  RowBox[{"CV", "[", 
   RowBox[{"p", ",", "k"}], "]"}]}]], "Input",
 CellLabel->"In[31]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     FormBox[
      OverscriptBox[
       FormBox[
        StyleBox["p",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm], "_"],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["k",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], " ", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Epsilon]", "_"], 
     RowBox[{
      FormBox[
       FormBox[
        StyleBox["i",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        StyleBox["j",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        StyleBox["k",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm]}]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{76, 20},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[31]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Contract", "[", "%", "]"}]], "Input",
 CellLabel->"In[32]:="],

Cell[BoxData[
 FormBox[
  SuperscriptBox[
   OverscriptBox["\[Epsilon]", "_"], 
   RowBox[{
    FormBox[
     FormBox[
      StyleBox["i",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm],
     TraditionalForm], 
    FormBox[
     FormBox[
      StyleBox["j",
       StripOnInput->False,
       FontWeight->Bold],
      TraditionalForm],
     TraditionalForm], 
    FormBox[
     OverscriptBox[
      FormBox[
       StyleBox["p",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm], "_"],
     TraditionalForm]}]], TraditionalForm]], "Output",
 ImageSize->{48, 18},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[32]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"CLC", "[", 
   RowBox[{"i", ",", "j", ",", "k"}], "]"}], " ", 
  RowBox[{"CLC", "[", 
   RowBox[{"i", ",", "j", ",", "l"}], "]"}], " "}]], "Input",
 CellLabel->"In[33]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Epsilon]", "_"], 
     RowBox[{
      FormBox[
       FormBox[
        StyleBox["i",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        StyleBox["j",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        StyleBox["k",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm]}]],
    TraditionalForm], " ", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Epsilon]", "_"], 
     RowBox[{
      FormBox[
       FormBox[
        StyleBox["i",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        StyleBox["j",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        StyleBox["l",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm]}]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{88, 18},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[33]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Contract", "[", "%", "]"}]], "Input",
 CellLabel->"In[34]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"2", " ", 
   SuperscriptBox[
    OverscriptBox["\[Delta]", "_"], 
    RowBox[{
     FormBox[
      FormBox[
       StyleBox["k",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["l",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]}]]}], TraditionalForm]], "Output",
 ImageSize->{48, 18},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[34]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"CLCD", "[", 
   RowBox[{"i", ",", "j", ",", "k"}], "]"}], " ", 
  RowBox[{"CLCD", "[", 
   RowBox[{"i", ",", "j", ",", "l"}], "]"}], " "}]], "Input",
 CellLabel->"In[35]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Epsilon]", ""], 
     RowBox[{
      FormBox[
       FormBox[
        StyleBox["i",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        StyleBox["j",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        StyleBox["k",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm]}]],
    TraditionalForm], " ", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Epsilon]", ""], 
     RowBox[{
      FormBox[
       FormBox[
        StyleBox["i",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        StyleBox["j",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox[
        StyleBox["l",
         StripOnInput->False,
         FontWeight->Bold],
        TraditionalForm],
       TraditionalForm]}]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{86, 18},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[35]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"Contract", "[", "%", "]"}], "//", "Factor2"}]], "Input",
 CellLabel->"In[36]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"(", 
    RowBox[{"2", "-", "D"}], ")"}], " ", 
   RowBox[{"(", 
    RowBox[{"3", "-", "D"}], ")"}], " ", 
   SuperscriptBox["\[Delta]", 
    RowBox[{
     FormBox[
      FormBox[
       StyleBox["k",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox[
       StyleBox["l",
        StripOnInput->False,
        FontWeight->Bold],
       TraditionalForm],
      TraditionalForm]}]]}], TraditionalForm]], "Output",
 ImageSize->{144, 20},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[36]="]
}, Open  ]]
}, Open  ]],

Cell["", "SectionFooterSpacer"]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "See Also"
}], "SeeAlsoSection",
 WholeCellGroupOpener->True,
 CellID->1255426704],

Cell[TextData[{
 StyleBox[ButtonBox["Pair",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/Pair",
  ButtonNote->"Pair"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["CartesianPair",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/CartesianPair",
  ButtonNote->"CartesianPair"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DiracSimplify",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracSimplify",
  ButtonNote->"DiracSimplify"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["MomentumCombine",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/MomentumCombine",
  ButtonNote->"MomentumCombine"],
  FontFamily->"Verdana"],
 "."
}], "SeeAlso"]
}, Open  ]],

Cell[" ", "FooterCell"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{725, 750},
WindowMargins->{{-10, Automatic}, {Automatic, -8}},
WindowTitle->"Contract",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "SymbolColor", "LinkTrails" -> 
  GridBox[{{
      RowBox[{
        ButtonBox[
        "FeynCalc", ButtonData -> "paclet:FeynCalc/guide/FeynCalc", 
         BaseStyle -> {"Link", "DockedLinkTrail"}]}]}}, ColumnAlignments -> 
    Left], "HasOptions" -> False, "ExampleCounter" -> 1, "NeedPlatMsgIn" -> 
  None, "RootCaptions" -> "", 
  "Metadata" -> {
   "built" -> "{2020, 6, 20, 19, 3, 11.348709}", 
    "history" -> {"9.0", "", "", ""}, "context" -> "FeynCalc`", 
    "keywords" -> {}, "specialkeywords" -> {}, 
    "tutorialcollectionlinks" -> {}, "index" -> True, "label" -> 
    "Feyn Calc Symbol", "language" -> "en", "paclet" -> "FeynCalc", "status" -> 
    "None", "summary" -> 
    "Contract[expr] contracts pairs of Lorentz indices of metric tensors, \
four-vectors and (depending on the optionEpsContract) of Levi-Civita tensors \
in expr. For the contraction of Dirac matrices with each other use \
DiracSimplify. Contract[exp1, exp2] contracts (exp1*exp2), where exp1 and \
exp2 may be larger products of sums of metric tensors and 4-vectors. ", 
    "synonyms" -> {}, "tabletags" -> {}, "title" -> "Contract", 
    "titlemodifier" -> "", "windowtitle" -> "Contract", "type" -> "Symbol", 
    "uri" -> "FeynCalc/ref/Contract"}, "SearchTextTranslated" -> ""},
CellContext->"Global`",
FrontEndVersion->"10.4 for Linux x86 (64-bit) (April 11, 2016)",
StyleDefinitions->Notebook[{
   Cell[
    StyleData[
    StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb"]]], 
   Cell[
    StyleData["Input"], CellContext -> "Global`"], 
   Cell[
    StyleData["Output"], CellContext -> "Global`"]}, Visible -> False, 
  FrontEndVersion -> "10.4 for Linux x86 (64-bit) (April 11, 2016)", 
  StyleDefinitions -> "Default.nb"]
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "PrimaryExamplesSection"->{
  Cell[6661, 197, 387, 15, 31, "PrimaryExamplesSection",
   CellTags->"PrimaryExamplesSection",
   CellID->796416382]},
 "Contract"->{
  Cell[7293, 226, 234, 8, 27, "Input",
   CellTags->"Contract",
   CellID->2011968461],
  Cell[7530, 236, 740, 32, 37, "Output",
   CellTags->"Contract"],
  Cell[8307, 273, 126, 4, 27, "Input",
   CellTags->"Contract",
   CellID->26500400],
  Cell[8436, 279, 384, 16, 37, "Output",
   CellTags->"Contract"],
  Cell[8857, 300, 201, 7, 27, "Input",
   CellTags->"Contract",
   CellID->2005973076],
  Cell[9061, 309, 636, 27, 37, "Output",
   CellTags->"Contract"],
  Cell[9734, 341, 128, 4, 27, "Input",
   CellTags->"Contract",
   CellID->1342373134],
  Cell[9865, 347, 351, 13, 37, "Output",
   CellTags->"Contract"],
  Cell[10253, 365, 153, 5, 27, "Input",
   CellTags->"Contract",
   CellID->2121383633],
  Cell[10409, 372, 412, 17, 37, "Output",
   CellTags->"Contract"],
  Cell[10925, 396, 128, 4, 27, "Input",
   CellTags->"Contract",
   CellID->1110085557],
  Cell[11056, 402, 189, 6, 35, "Output",
   CellTags->"Contract"],
  Cell[11376, 417, 241, 8, 27, "Input",
   CellTags->"Contract",
   CellID->1404498417],
  Cell[11620, 427, 466, 19, 39, "Output",
   CellTags->"Contract"],
  Cell[12123, 451, 127, 4, 27, "Input",
   CellTags->"Contract",
   CellID->587791315],
  Cell[12253, 457, 189, 6, 35, "Output",
   CellTags->"Contract"],
  Cell[12479, 468, 230, 8, 27, "Input",
   CellTags->"Contract",
   CellID->1721182838],
  Cell[12712, 478, 710, 31, 37, "Output",
   CellTags->"Contract"],
  Cell[13459, 514, 133, 4, 27, "Input",
   CellTags->"Contract",
   CellID->460754742],
  Cell[13595, 520, 460, 19, 37, "Output",
   CellTags->"Contract"],
  Cell[14092, 544, 281, 10, 27, "Input",
   CellTags->"Contract",
   CellID->1283410538],
  Cell[14376, 556, 1084, 45, 42, "Output",
   CellTags->"Contract"],
  Cell[15497, 606, 128, 4, 27, "Input",
   CellTags->"Contract",
   CellID->803101401],
  Cell[15628, 612, 1366, 59, 39, "Output",
   CellTags->"Contract"],
  Cell[17031, 676, 283, 10, 27, "Input",
   CellTags->"Contract",
   CellID->1863771818],
  Cell[17317, 688, 956, 41, 37, "Output",
   CellTags->"Contract"],
  Cell[18310, 734, 129, 4, 27, "Input",
   CellTags->"Contract",
   CellID->2021554764],
  Cell[18442, 740, 1142, 51, 37, "Output",
   CellTags->"Contract"],
  Cell[19621, 796, 275, 9, 27, "Input",
   CellTags->"Contract",
   CellID->1720608034],
  Cell[19899, 807, 941, 40, 37, "Output",
   CellTags->"Contract"],
  Cell[20877, 852, 128, 4, 27, "Input",
   CellTags->"Contract",
   CellID->634794036],
  Cell[21008, 858, 615, 26, 38, "Output",
   CellTags->"Contract"],
  Cell[21660, 889, 317, 10, 27, "Input",
   CellTags->"Contract",
   CellID->1343624460],
  Cell[21980, 901, 1165, 49, 37, "Output",
   CellTags->"Contract"],
  Cell[23182, 955, 128, 4, 27, "Input",
   CellTags->"Contract",
   CellID->530322977],
  Cell[23313, 961, 471, 19, 39, "Output",
   CellTags->"Contract"],
  Cell[23821, 985, 314, 10, 27, "Input",
   CellTags->"Contract",
   CellID->730363468],
  Cell[24138, 997, 1163, 49, 37, "Output",
   CellTags->"Contract"],
  Cell[25338, 1051, 159, 5, 27, "Input",
   CellTags->"Contract",
   CellID->1284270864],
  Cell[25500, 1058, 595, 23, 39, "Output",
   CellTags->"Contract"]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"PrimaryExamplesSection", 45391, 1904},
 {"Contract", 45526, 1908}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[580, 21, 3301, 79, 53, "AnchorBarGrid",
 CellID->1],
Cell[3884, 102, 285, 11, 45, "ObjectNameGrid"],
Cell[CellGroupData[{
Cell[4194, 117, 695, 16, 135, "Usage",
 CellID->982511436],
Cell[CellGroupData[{
Cell[4914, 137, 739, 24, 31, "NotesSection",
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->1580525544],
Cell[5656, 163, 31, 0, 14, "SectionHeaderSpacer"],
Cell[CellGroupData[{
Cell[5712, 167, 92, 2, 27, "Input"],
Cell[5807, 171, 793, 19, 75, "Output"]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[6661, 197, 387, 15, 31, "PrimaryExamplesSection",
 CellTags->"PrimaryExamplesSection",
 CellID->796416382],
Cell[CellGroupData[{
Cell[7073, 216, 195, 6, 26, "ExampleSection",
 CellID->490871094],
Cell[CellGroupData[{
Cell[7293, 226, 234, 8, 27, "Input",
 CellTags->"Contract",
 CellID->2011968461],
Cell[7530, 236, 740, 32, 37, "Output",
 CellTags->"Contract"]
}, Open  ]],
Cell[CellGroupData[{
Cell[8307, 273, 126, 4, 27, "Input",
 CellTags->"Contract",
 CellID->26500400],
Cell[8436, 279, 384, 16, 37, "Output",
 CellTags->"Contract"]
}, Open  ]],
Cell[CellGroupData[{
Cell[8857, 300, 201, 7, 27, "Input",
 CellTags->"Contract",
 CellID->2005973076],
Cell[9061, 309, 636, 27, 37, "Output",
 CellTags->"Contract"]
}, Open  ]],
Cell[CellGroupData[{
Cell[9734, 341, 128, 4, 27, "Input",
 CellTags->"Contract",
 CellID->1342373134],
Cell[9865, 347, 351, 13, 37, "Output",
 CellTags->"Contract"]
}, Open  ]],
Cell[CellGroupData[{
Cell[10253, 365, 153, 5, 27, "Input",
 CellTags->"Contract",
 CellID->2121383633],
Cell[10409, 372, 412, 17, 37, "Output",
 CellTags->"Contract"]
}, Open  ]],
Cell[10836, 392, 64, 0, 32, "Notes"],
Cell[CellGroupData[{
Cell[10925, 396, 128, 4, 27, "Input",
 CellTags->"Contract",
 CellID->1110085557],
Cell[11056, 402, 189, 6, 35, "Output",
 CellTags->"Contract"]
}, Open  ]],
Cell[11260, 411, 91, 2, 32, "Notes"],
Cell[CellGroupData[{
Cell[11376, 417, 241, 8, 27, "Input",
 CellTags->"Contract",
 CellID->1404498417],
Cell[11620, 427, 466, 19, 39, "Output",
 CellTags->"Contract"]
}, Open  ]],
Cell[CellGroupData[{
Cell[12123, 451, 127, 4, 27, "Input",
 CellTags->"Contract",
 CellID->587791315],
Cell[12253, 457, 189, 6, 35, "Output",
 CellTags->"Contract"]
}, Open  ]],
Cell[CellGroupData[{
Cell[12479, 468, 230, 8, 27, "Input",
 CellTags->"Contract",
 CellID->1721182838],
Cell[12712, 478, 710, 31, 37, "Output",
 CellTags->"Contract"]
}, Open  ]],
Cell[CellGroupData[{
Cell[13459, 514, 133, 4, 27, "Input",
 CellTags->"Contract",
 CellID->460754742],
Cell[13595, 520, 460, 19, 37, "Output",
 CellTags->"Contract"]
}, Open  ]],
Cell[CellGroupData[{
Cell[14092, 544, 281, 10, 27, "Input",
 CellTags->"Contract",
 CellID->1283410538],
Cell[14376, 556, 1084, 45, 42, "Output",
 CellTags->"Contract"]
}, Open  ]],
Cell[CellGroupData[{
Cell[15497, 606, 128, 4, 27, "Input",
 CellTags->"Contract",
 CellID->803101401],
Cell[15628, 612, 1366, 59, 39, "Output",
 CellTags->"Contract"]
}, Open  ]],
Cell[CellGroupData[{
Cell[17031, 676, 283, 10, 27, "Input",
 CellTags->"Contract",
 CellID->1863771818],
Cell[17317, 688, 956, 41, 37, "Output",
 CellTags->"Contract"]
}, Open  ]],
Cell[CellGroupData[{
Cell[18310, 734, 129, 4, 27, "Input",
 CellTags->"Contract",
 CellID->2021554764],
Cell[18442, 740, 1142, 51, 37, "Output",
 CellTags->"Contract"]
}, Open  ]],
Cell[CellGroupData[{
Cell[19621, 796, 275, 9, 27, "Input",
 CellTags->"Contract",
 CellID->1720608034],
Cell[19899, 807, 941, 40, 37, "Output",
 CellTags->"Contract"]
}, Open  ]],
Cell[CellGroupData[{
Cell[20877, 852, 128, 4, 27, "Input",
 CellTags->"Contract",
 CellID->634794036],
Cell[21008, 858, 615, 26, 38, "Output",
 CellTags->"Contract"]
}, Open  ]],
Cell[CellGroupData[{
Cell[21660, 889, 317, 10, 27, "Input",
 CellTags->"Contract",
 CellID->1343624460],
Cell[21980, 901, 1165, 49, 37, "Output",
 CellTags->"Contract"]
}, Open  ]],
Cell[CellGroupData[{
Cell[23182, 955, 128, 4, 27, "Input",
 CellTags->"Contract",
 CellID->530322977],
Cell[23313, 961, 471, 19, 39, "Output",
 CellTags->"Contract"]
}, Open  ]],
Cell[CellGroupData[{
Cell[23821, 985, 314, 10, 27, "Input",
 CellTags->"Contract",
 CellID->730363468],
Cell[24138, 997, 1163, 49, 37, "Output",
 CellTags->"Contract"]
}, Open  ]],
Cell[CellGroupData[{
Cell[25338, 1051, 159, 5, 27, "Input",
 CellTags->"Contract",
 CellID->1284270864],
Cell[25500, 1058, 595, 23, 39, "Output",
 CellTags->"Contract"]
}, Open  ]],
Cell[26110, 1084, 295, 10, 32, "Notes"],
Cell[CellGroupData[{
Cell[26430, 1098, 174, 6, 27, "Input"],
Cell[26607, 1106, 1014, 43, 40, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[27658, 1154, 85, 2, 27, "Input"],
Cell[27746, 1158, 495, 21, 40, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[28278, 1184, 151, 5, 27, "Input"],
Cell[28432, 1191, 949, 40, 40, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[29418, 1236, 85, 2, 27, "Input"],
Cell[29506, 1240, 510, 20, 37, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[30053, 1265, 102, 3, 27, "Input"],
Cell[30158, 1270, 529, 22, 38, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[30724, 1297, 85, 2, 27, "Input"],
Cell[30812, 1301, 167, 5, 35, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[31016, 1311, 126, 4, 27, "Input"],
Cell[31145, 1317, 621, 25, 38, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[31803, 1347, 85, 2, 27, "Input"],
Cell[31891, 1351, 167, 5, 35, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[32095, 1361, 229, 8, 27, "Input"],
Cell[32327, 1371, 1539, 62, 43, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[33903, 1438, 85, 2, 27, "Input"],
Cell[33991, 1442, 1204, 50, 40, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[35232, 1497, 190, 6, 27, "Input"],
Cell[35425, 1505, 1179, 50, 41, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[36641, 1560, 85, 2, 27, "Input"],
Cell[36729, 1564, 711, 30, 39, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[37477, 1599, 206, 6, 27, "Input"],
Cell[37686, 1607, 1380, 58, 39, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[39103, 1670, 85, 2, 27, "Input"],
Cell[39191, 1674, 569, 23, 39, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[39797, 1702, 208, 6, 27, "Input"],
Cell[40008, 1710, 1378, 58, 39, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[41423, 1773, 115, 3, 27, "Input"],
Cell[41541, 1778, 653, 26, 41, "Output"]
}, Open  ]]
}, Open  ]],
Cell[42221, 1808, 31, 0, 29, "SectionFooterSpacer"]
}, Open  ]],
Cell[CellGroupData[{
Cell[42289, 1813, 270, 12, 31, "SeeAlsoSection",
 CellID->1255426704],
Cell[42562, 1827, 703, 25, 56, "SeeAlso"]
}, Open  ]],
Cell[43280, 1855, 23, 0, 41, "FooterCell"]
}
]
*)

(* End of internal cache information *)

